n^2 + 2^n - n*2^((n+1)/2) = 1